A Language for Securely Referencing Persistent Information in a Federated System
نویسندگان
چکیده
Referential integrity, which guarantees that named resources can be accessed when referenced, is an important property for reliability and security. In distributed systems, however, the attempt to provide referential integrity can itself lead to security vulnerabilities that are not currently well understood. This paper identifies three kinds of referential security vulnerabilities related to the referential integrity of distributed, persistent information. Security conditions corresponding to the absence of these vulnerabilities are formalized. A language model is used to capture the key aspects of programming distributed systems with named, persistent resources in the presence of an adversary. The referential security of distributed systems is proved to be enforced by a new type system.
منابع مشابه
Literary Translation and Cultural Referencing : The Blinding Absence of Light as a Case Study
This paper addresses the issue of culture specific references in translating a literary work taking as a case study the novel Cette aveuglante absence de lumière written originally in the French language by Taher Benjelloun and translated into the English language under the title The Blinding Absence of Light by Linda Coverdale . The study offers insight into the distribution of these reference...
متن کاملHeterogeneous Database Integration Using Agent- Oriented Information Systems
* The views expressed in this article are those of the authors and do not reflect the official policy or position of the United States Air Force, Department of Defense, or the U.S. Government. Abstract: The Department of Defense (DOD) has an extensive family of models used to simulate the mission level interaction of weapon systems. Interoperability and reuse of the underlying data files used t...
متن کاملLiterary Translation and Cultural Referencing : The Blinding Absence of Light as a Case Study
This paper addresses the issue of culture specific references in translating a literary work taking as a case study the novel Cette aveuglante absence de lumière written originally in the French language by Taher Benjelloun and translated into the English language under the title The Blinding Absence of Light by Linda Coverdale . The study offers insight into the distribution of these reference...
متن کاملService Oriented Federated Identity System Framework
The rapid evolution of network and distributed computing, such as Service Oriented Architecture (SOA), is increasing the challenge of securely controlling access to enterprise IT resources. As gaining access to distributed resources becomes increasingly vital, the ability to make sure that the right people have secure access to the right information at the right time becomes a critical requirem...
متن کاملLearning Resource Referencing, Search and Aggregation at the eLearning System Level
TELOS is a new eLearning system being built within the Canadian LORNET project. TELOS aims to provide an open operating system in which users can develop and use eLearning and knowledge management resources and environments within a service-oriented and ontology-driven framework. A special emphasis is put on the aggregation of resources through a graphic scenario editor and the referencing of t...
متن کامل